5 results
An addition to Rosser's theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-292
- Print publication:
- March 1996
-
- Article
- Export citation
On the incompleteness theorems
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1414-1419
- Print publication:
- December 1994
-
- Article
- Export citation
Some remarks on initial segments in models of Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 955-960
- Print publication:
- September 1984
-
- Article
- Export citation
On cofinal extensions of models of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 253-262
- Print publication:
- June 1983
-
- Article
- Export citation
A. D. Tajmanov. Haraktéristiki aksiomatiziruémyh klassov modélej (Characteristics of axiomatizable classes of models). Algébra i logika, Séminar, vol. 1 no. 4 (1962), pp. 5–31.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 164
- Print publication:
- March 1973
-
- Article
- Export citation